English Computing Dictionary
◊ REAL-TIME EUCLID
Real-Time Euclid
Real-time language, restriction to time-bounded constructs.
["Real-Time Euclid: A Language for Reliable Real-Time
Systems", E. Kligerman et al, IEEE Trans Software Eng
SE-12(9):941-1986-09-949].